<?php

namespace annotate;

#[Attribute] class NoReturn
{

}